Abstract algebraic logic - PDFSEARCH.IO - Document Search Engine

Abstract algebraic logic
Results: 173

#	Item
111	LAWVERE-TIERNEY SHEAVES IN ALGEBRAIC SET THEORY S. AWODEY, N. GAMBINO, P. L. LUMSDAINE, AND M. A. WARREN Abstract. We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the constructio Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Sheaf theory Topos theory Homological algebra Order theory Topos Sheaf Subobject classifier Categorical logic Adjoint functors Category theory Mathematics Abstract algebra
112	Diagram Rewriting Yves Lafont CNRS - Institut de Mathématiques de Luminy Université de la Méditerranée (Aix-Marseille 2) Thematic school: Operads CIRM - Marseille Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2009-09-03 02:00:00 Algebraic geometry Finite morphism Algebraic logic Group theory Boolean algebra Outline of algebraic structures Μ operator Abstract algebra Mathematics Algebra
113	Algebra and Geometry of Rewriting∗ Yves Lafont† Institut de Mathématiques de Luminy (UMR 6206 du CNRS) Université de la Méditerranée (Aix-Marseille 2) October 9, 2006 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2006-10-09 13:16:27 Semigroup theory Formal languages Algebraic structures Model theory Mathematical logic Monoid Presentation of a monoid Rewriting Free monoid Abstract algebra Mathematics Algebra
114	Resolution-like theorem proving for high-level conditions Karl-Heinz Pennemann University of Oldenburg, Germany⋆⋆ [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-01 20:46:15 Mathematical logic Propositional calculus Model theory Algebraic geometry Logical truth Tautology Pushout Epimorphism Category Logic Mathematics Abstract algebra
115	On Kubota’s Dirichlet Series Ben Brubaker and Daniel Bump March 8, 2006 Kubota [19] showed how the theory of Eisenstein series on the higher metaplectic covers of SL2 (which he discovered) can be used to study the anal Add to Reading List Source URL: sporadic.stanford.edu Language: English - Date: 2011-06-09 18:39:10 Symbol Dirichlet series Series Constructible universe Algebraic number field Operator theory Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Abstract algebra Mathematics
116	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
117	Basic Concepts of Mathematics Add to Reading List Source URL: www.trillia.com Language: English - Date: 2014-02-03 20:02:20 Order theory Algebraic structures Binary operations Set theory General topology Equivalence relation Function Partially ordered set Total order Mathematics Mathematical logic Abstract algebra
118	Journal of Universal Computer Science, vol. 7, no[removed]), [removed]submitted: 1/9/00, accepted: [removed], appeared: [removed]  Springer Pub. Co. Modeling Sequences within the RelView System Rudolf Berghammer Add to Reading List Source URL: www.jucs.org Language: English - Date: 2006-11-02 06:23:21 Mathematical logic Abstract algebra Model theory Algebraic structures Finitary relation Equivalence relation Vector space Relational algebra FO Mathematics Algebra Mathematical structures
119	ON COMPLETENESS OF WORD REVERSING PATRICK DEHORNOY Abstract. Word reversing is a combinatorial operation on words that detects pairs of equivalent words in monoids that admit a presentation of a certain form. Here we giv Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2000-05-10 06:52:32 Algebraic topology Sheaf Monoid Rewriting Function Mathematics Abstract algebra Mathematical logic
120	On the Mirror Conjecture Bong Lian, Department of Mathematics, National University of Singapore; Department of Mathematics, Brandeis University, Waltham MA 02454, USA. [removed] Kefeng Liu, Department of Mathemat Add to Reading List Source URL: www.doctoryau.com Language: English - Date: 2008-03-23 01:15:25 Algebraic topology Characteristic classes Logical consequence Philosophical logic Theorems Euler characteristic Moduli space Euler class Atiyah–Bott fixed-point theorem Mathematics Topology Abstract algebra

UPDATE